HOL-λσ: an intentional first-order expression of higher-order logic

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HOL-λσ: an intentional first-order expression of higher-order logic

GILLES DOWEK, THERESE HARDIN and CLAUDE KIRCHNER Mathematical Structures in Computer Science / Volume 11 / Issue 01 / February 2001, pp 21 ­ 45 DOI: null, Published online: 07 March 2001 Link to this article: http://journals.cambridge.org/abstract_S0960129500003236 How to cite this article: GILLES DOWEK, THERESE HARDIN and CLAUDE KIRCHNER (2001). HOL­λσ: an intentional first­order expression of...

متن کامل

Isabelle / HOL — Higher - Order Logic

متن کامل

Isabelle / HOL — Higher - Order Logic

متن کامل

Isabelle / HOL — Higher - Order Logic

متن کامل

Isabelle / HOL — Higher - Order Logic

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mathematical Structures in Computer Science

سال: 2001

ISSN: 0960-1295,1469-8072

DOI: 10.1017/s0960129500003236